TSO Authorization of Airborne Multipurpose Electronic Displays
نویسندگان
چکیده
منابع مشابه
Perceptions of electronic navigation displays
ion refers to the amount of distortion in the map relative to the physical features of the topography. The motivation for abstraction relies in part on the fact that people tend to simplify representations of environments in their mental models. Many forms of abstractions exist, ranging from abstractions that omit information less relevant to a task to abstractions that preserve the information...
متن کاملTSO-Atomicity: Efficient TSO Enforcement for Aggressive Program Optimization
Strong memory consistency models like Sequential Consistency (SC) and Total Store Ordering (TSO) impose tremendous memory consistency constraints on program optimizations. Existing techniques leverage HW atomicity supports to enable aggressive optimizations while enforcing sequential consistency. By grouping the optimized code into a region and committing the whole region atomically, sequential...
متن کاملElectronic displays for information technology
The principal channel of interactive communication from a computer to a person is an electronic display. The amount of information shown and the way in which it can be exhibited depend on successfully matching the capabilities of the display to the human visual system. Making this channel as wide, as fast, and as effective as possible has been the goal of electronic display development for the ...
متن کاملConcept Development and Evaluation of Airborne Traffic Displays
A system concept for a cockpit traffic situation display (TSD) was developed and a preliminary evaluation was undertaken to investigate the effect of a TSD on safety, efficiency, and capacity in the 3rd generation NAS/ARTS ATC system environment. The optimum display configuration, examples of procedural changes, benefits to the pilot and benefits to ATC are discussed. The test program was condu...
متن کاملChecking Robustness against TSO
We present algorithms for checking and enforcing robustness of concurrent programs against the Total Store Ordering (TSO) memory model. A program is robust if all its TSO computations correspond to computations under the Sequential Consistency (SC) semantics. We provide a complete characterization of non-robustness in terms of so-called attacks: a restricted form of (harmful) out-of-program-ord...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Korea Navigation Institute
سال: 2013
ISSN: 1226-9026
DOI: 10.12673/jkoni.2013.17.6.765